EL-ifying Ontologies
نویسندگان
چکیده
The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results.
منابع مشابه
A common layer of interoperability for biomedical ontologies based on OWL EL
MOTIVATION Ontologies are essential in biomedical research due to their ability to semantically integrate content from different scientific databases and resources. Their application improves capabilities for querying and mining biological knowledge. An increasing number of ontologies is being developed for this purpose, and considerable effort is invested into formally defining them in order t...
متن کاملThe Logical Difference For Fuzzy EL+ Ontologies
Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it is important to clarify the difference between them. The difference above refers to the logical difference, not syntactic one. Examples of the logical difference include the difference in taxonomy, concept subsumption difference...
متن کاملMinimising Acyclic EL Ontologies
Computing equivalent EL-ontologies of minimal size is useful for various reasoning tasks such as uniform interpolation, ontology learning, rewriting ontologies into simpler DLs, abduction and knowledge revision. The corresponding tool support for minimising concepts and ontologies can also provide great help to ontology developers and end-users. We present a method for computing equivalent acyc...
متن کاملبررسی هستان شناسی های توسعه یافته مبتنی بر اصول هستان شناسی های منبع باز زیست پزشکی
Background and Aim: Ontologies facilitate data integration, exchange, searching and querying. Open Biomedical Ontologies (OBO) Foundry is a solution for creating reference ontologies. In this foundry, the design of ontologies is based on established principles which allow for their interactions as a single system. The purpose of this study is to determine the main features of ontologies develop...
متن کاملReasoning with Fuzzy-EL+ Ontologies Using MapReduce
Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy knowledge. In this paper, we consider fuzzy-EL, which is a fuzzy extension of EL. We first present revised completion rules for fuzzy-EL that can be handled by MapReduce programs. We then propose an algorithm for scale reasoning with fuzzy-EL ontologies based on MapReduce.
متن کامل